minimal automaton การใช้

• Note that this proof also builds the minimal automaton.
• For a regular language, the syntactic monoid is isomorphic to the transformation monoid of the minimal automaton of the language.